Predicate calculus

Translation predicate calculus into russian

Predicate calculus is used in mathematical logic.

Предикатное исчисление используется в математической логике.